Beyond Recursive Real Functions

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Beyond Recursive Real Functions

All the recursive real functions are continuous; in fact all the B-recursive real functions are continuous for any oracle B, simply because Turing Machines computing them are nite objects. But simple functions like step functions have to be in some sense be \easy" if they have recursive values and break points, although by our usual deeni-tion, they are not computable at all. So it seems unfair...

متن کامل

Real Recursive Functions and Real Extensions of Recursive Functions

Recently, functions over the reals that extend elementarily computable functions over the integers have been proved to correspond to the smallest class of real functions containing some basic functions and closed by composition and linear integration. We extend this result to all computable functions: functions over the reals that extend total recursive functions over the integers are proved to...

متن کامل

Recursive Analysis Characterized as a Class of Real Recursive Functions

Recently, using a limit schema, we presented an analog and machine independent algebraic characterization of elementary functions over the real numbers in the sense of recursive analysis. In a different and orthogonal work, we proposed a minimalization schema that allows to provide a class of real recursive functions that corresponds to extensions of computable functions over the integers. Mixi...

متن کامل

Real recursive functions and their hierarchy

In the last years, recursive functions over the reals (Theoret. Comput. Sci. 162 (1996) 23) have been 9 considered, first as a model of analog computation, and second to obtain analog characterizations of classical computational complexity classes (Unconventional Models of Computation, UMC 2002, 11 Lecture Notes in Computer Science, Vol. 2509, Springer, Berlin, pp. 1–14). However, one of the op...

متن کامل

The Complexity of Real Recursive Functions

We explore recursion theory on the reals, the analog counterpart of recursive function theory. In recursion theory on the reals, the discrete operations of standard recursion theory are replaced by operations on continuous functions, such as composition and various forms of differential equations. We define classes of real recursive functions, in a manner similar to the classical approach in re...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Information and Computation

سال: 1996

ISSN: 0890-5401

DOI: 10.1006/inco.1996.0009